$\forall$${\it es}$:event\_system\{i:l\}. es\_info(${\it es}$) $\in$ es{-}E(${\it es}$)$\rightarrow$((:Id $\times$ Id) + (:(:IdLnk $\times$ es{-}E(${\it es}$)) $\times$ Id))